#include<stdio.h>

void main() {
    printf("Hello, world! %d %d %d %s\n", 1, 2, 3, "start");
}